$M$.dout2($l$;${\it tg}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap(($M$.2).1;KindDeq;rcv($l$,${\it tg}$);Void)